An Overview of Nonmonotonic Reasoning and Logic Programming
نویسنده
چکیده
منابع مشابه
Extending Prolog with Nonmonotonic Reasoning
Nonmonotonic reasoning has been developed to capture common sense inferences. This paper considers nonmonotonic reasoning in logic programs with negation { its implementation using Prolog and its integration with Prolog execution. Even within logic programming frameworks, a variety of inferencing methods, model-theoretic semantics, and language features have been proposed for diierent forms of ...
متن کاملThe Role of Preferences in Logic Programming: Nonmonotonic Reasoning, User Preferences, Decision under Uncertainty
Preferences have a multi-faceted relationship with several knowledge representation domains and they have been understood in different ways in the Artificial Intelligence literature. In this thesis, we study and clarify the role that preferences can play in the setting of Answer Set Programming. Keywords— preferences, nonmonotonic reasoning, uncertain nonmonotonic reasoning, decision under unce...
متن کاملExpressiveness vs. Complexity in Nonmonotonic Knowledge Bases: Propositional Case
We study the trade-off between the expressive abilities and the complexity of reasoning in propositional nonmonotonic knowledge bases. We first analyze, in an expressive epistemic modal framework, the most popular forms of nonmonotonic mechanisms used in knowledge representation: in particular, we prove that epistemic queries and epistemic integrity constraints are naturally expressed through t...
متن کاملNonmonotonic Reasoning in FLORA-2
FLORA-2 is an advanced knowledge representation system that integrates F-logic, HiLog, and Transaction Logic. In this paper we give an overview of the theoretical foundations of the system and of some of the aspects of nonmonotonic reasoning in FLORA-2. These include scoped default negation, behavioral inheritance, and nonmonotonicity that stems from database dynamics.
متن کاملNonmonotonic abductive inductive learning
Inductive Logic Programming (ILP) is concerned with the task of generalising sets of positive and negative examples with respect to background knowledge expressed as logic programs. Negation as Failure (NAF) is a key feature of logic programming which provides a means for nonmonotonic commonsense reasoning under incomplete information. But, so far, most ILP research has been aimed at Horn progr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Log. Program.
دوره 17 شماره
صفحات -
تاریخ انتشار 1993